University of Science - PDFSEARCH.IO - Document Search Engine

University of Science
Results: 77099

#	Item
11	Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-22 09:34:32 Mathematics Temporal logic Mathematical analysis Mathematical logic Formal languages Model theory Generalized functions Computation tree logic Logic in computer science Linear temporal logic Interpretation IP
12	Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2018-07-07 12:35:35 Mathematics Heuristics Edsger W. Dijkstra Automated planning and scheduling Mathematical optimization Shortest path problem Admissible heuristic Search algorithm Methodology Algorithm Cognition
13	Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2018-10-23 14:59:27 Computing Technology California EMC Corporation VMware Embedded system Synopsys USENIX Annual Technical Conference Debugging Intel Software Guard Extensions Edouard Bugnion
14	Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak, Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:24:27 Information science Knowledge representation Knowledge engineering Artificial intelligence Knowledge Computational linguistics Natural language processing Crowdsourcing Ontology Semantic Web Annotation General Architecture for Text Engineering
15	Journeys in World Politics, October 28th-30th, 2004 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Oct. 28 6:30-8:30 p.m. Dinner Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2009-07-21 12:23:20
16	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
17	HOnions: Detection and Identification of Snooping Tor HSDirs Amirali Sanatinia, Guevara Noubir College of Computer and Information Science Northeastern University, Boston, USA {amirali,noubir}@ccs.neu.edu Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-12 23:38:22 Computing Free software Dark web Internet Cryptographic protocols Internet Standards Computer network security Tor .onion Botnet Internet privacy Bipartite graph
18	Learning Outcomes for Master of Science (MSc) in Innovation Management National Qualification Framework for Iceland MSc in Innovation Management at Reykjavik University MSc in Innovation Management is a 90 ECTS-credit ma Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:21:03 Innovation Innovation management Academic degree Bachelor's degree Master's degree Human behavior Education Structure European Qualifications Framework Min Basadur
19	Gender Bias in IR Graduate Education? New evidence from syllabi1 Jeff Colgan is the Richard Holbrooke Associate Professor of Political Science and International Affairs at Brown University. He can be reached at jeff_colg Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2017-04-27 16:45:29 Gender studies Course Curricula Gender role Education Human behavior Behavior Higher education
20	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model

UPDATE